structure S =
struct
  val e : 'a list
end
